With this strategy, each proper subclass has its own table. 通过这种策略,每个子类都会拥有其自身的表。
In this paper we point out that inner FC-groups are a proper subclass of inner Fc-groups, determine the structure of locally soluble inner Fc-groups which are torsion and not inner FC-groups. 确定了周期的局部可解的不是内-FC群的内-Fc群的结构,指出了内-Fc群是比内-FC群更广泛的一类群。
In the paper, we define the associative BCI-algebras with operation ∧, and prove that its BCK-part is commutative BCK-algebra. The following problems are solved: proper class problem, proper subclass problem and cardinal number problem. 本文定义了∧结合bck-代数,解决了真类问题、真子类问题和基数问题,并得到了它的bck-部分是可换的bck-代数。